Nuprl Definition : rel-restriction
11,40
postcript
pdf
R
|
P
(
x
,
y
) ==
R
(
x
,
y
) &
P
(
x
) &
P
(
y
)
latex
Definitions
x
.
A
(
x
)
,
P
&
Q
,
f
(
a
)
FDL editor aliases
rel-restriction
origin
x.A(x)x.A(x)